automated reasoning systems造句

例句与造句

1. Another advancement was the development of special purpose automated reasoning systems called classifiers.
2. The inference engine is an automated reasoning system that evaluates the current state of the knowledge-base, applies relevant rules, and then asserts new knowledge into the knowledge base.
3. "' William McCune "'( December 1953  May 2011 ) was an Otter, Prover9, and Mace4 automated reasoning systems, and the automated proof of the Robbins conjecture using the EQP theorem prover.
4. Focusing on a specific domain and allowing only a restricted subset of logic improved the performance of such systems so that they were practical for use in the real world and not merely as research demonstrations as most previous automated reasoning systems had been.
5. It's difficult to find automated reasoning systems in a sentence. 用automated reasoning systems造句挺难的